Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
41	Approximating Bin Packing within O(log OP T · log log OP T ) bins Thomas Rothvoß Department of Mathematics, MIT TCS+ Online Seminar May 22, 2013 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2013-11-01 17:11:36 Computational complexity theory Packing problems Theory of computation Bin packing problem Bin
42	The Table Maker’s Dilemma Results and Applications Vincent L EF E` VRE November 16, 2000 Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Mathematics Mathematical analysis Dimensionless numbers Ratios Trigonometry Complex analysis Logarithms Rounding Theory of computation Trigonometric functions Inverse trigonometric functions
43	doi:j.ins Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:21 Theory of computation Dynamic programming Maximal pair String Mathematics String searching algorithm Suffix tree Approximate string matching Time complexity Algorithm Computer science
44	CULTURAL ALGORITHMS: THEORY AND PRACTICE Dr. Robert G. Reynolds. Professor Computer Science Associate Research Scientist Wayne State University Museum of Anthropology Add to Reading List Source URL: www.conference123.org Language: English - Date: 2014-07-16 23:22:05 Mathematical optimization Evolutionary algorithms Applied mathematics Genetic algorithms Cultural algorithm Operations research Artificial life Numerical analysis Cybernetics Multi-objective optimization Algorithm Evolutionary computation
45	A Polynomial-Time Approximation Scheme for Maximum Quartet Compatibility Add to Reading List Source URL: tandy.cs.illinois.edu Language: English - Date: 2015-04-08 19:35:45 Computational complexity theory Theory of computation Complexity classes NP-complete problems Combinatorial optimization Packing problems Approximation algorithms Knapsack problem NP APX
46	Efficient Optimization of Many Objectives by Approximation-Guided Evolution Markus Wagnerc,∗, Karl Bringmanna , Tobias Friedrichb , Frank Neumannc a Max-Planck-Institut f¨ Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:48:47 Mathematical optimization Computational complexity theory Theory of computation Applied mathematics Academia Evolutionary algorithms Operations research Cybernetics Multi-objective optimization Reduction Algorithm CMA-ES
47	Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes E. Busra Celikkaya University of California, Riverside CELIKKAE @ CS . UCR . EDU Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2015-05-14 15:50:46 Graphical models Statistics Applied mathematics Mathematics Estimation theory Bayesian network Networks Gibbs sampling Belief propagation Expectationmaximization algorithm Computation tree
48	COMMENTARY Considerations of thin and fat Technological innovations Add to Reading List Source URL: uaw5810.org Language: English - Date: 2013-03-18 20:39:32 Academia Postdoctoral research Mathematics Theoretical computer science Education Computability theory National Postdoctoral Association Turing machine Models of computation UAW Local Alan Turing Community
49	Estimation d’arrondis, analyse de stabilité des grands codes de calcul numérique Jean-Marie Chesneaux, Fabienne Jézéquel, Jean-Luc Lamotte, Jean Vignes Laboratoire d’Informatique de Paris 6, P. and M. Curie Unive Add to Reading List Source URL: www.gdr-mascotnum.fr Language: English Computer arithmetic Mathematics Arithmetic Numerical analysis Computing Theoretical computer science IEEE standards Rounding Theory of computation Precision Signed zero Associative property
50	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation